Handling Algebraic Effects

Handling Algebraic Effects

Algebraic effects are computational effects that can be represented by an equational theory whose operations produce the effects at hand. The free model of this theory induces the expected computational monad for the corresponding effect. Algebraic effects include exceptions, state, nondeterminism, interactive input/output, and time, and their combinations. Exception handling, however, has so f...

Algebraic Semantics of Exception Handling

In this paper, a new semantics for exception handling in algebraic specifications is provided. Our formalism allows all forms of exception and error handling (several error messages, implicit error propagation rule, exception recovery policy), while preserving the existence of initial models. It handles complex examples where various exceptional cases (leading to different processings) can be s...

Algebraic Meta-structure Handling of Huge Database Schemata

Practical experience shows that the maintenance of databases with a very large schema causes severe problems, and no systematic support is provided. In a recent study based on the analysis of a large number of very large database schemata twelve frequently recurring meta-structures were identified and classified into three categories associated with schema construction, lifespan and context. Th...

Handling Algebraic Properties in Automatic Analysis of Security Protocols

Adequacy for Algebraic Effects

Moggi proposed a monadic account of computational effects. He also presented the computational λ-calculus, λc, a core call-by-value functional programming language for effects; the effects are obtained by adding appropriate operations. The question arises as to whether one can give a corresponding treatment of operational semantics. We do this in the case of algebraic effects where the operatio...